Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

فلترة بواسطة : موضوع Collection : Hal Clermont Auvergne (Universite Blaise Pascal Clermont-Ferrand / Universite D'auvergne)

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Report

Note: Regular languages with no conflicts (forbidden pairs) are regular but have exponential size DFA

Authors : Cornet, Alexis; Laforest, Christian;

Subjects: Regular languages; DFA; forbidden pairs

Source: https://hal.science/hal-01402160 ; [Research Report] LIMOS (UMR CNRS 6158), université Clermont Auvergne, France 2016.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Using Destinies for the Decision Problem of Sets of Bounded Quantifier Depth Sentences in Finite or Infinite Structures ; Utilisation des destinées pour la décision et sa complexité dans le cas de formules à profondeur de quantification bornée sur des structures logiques finies et infinies

Authors : Chateau, Annie;

Subjects: complexity; Ehrenfeucht games; Nézondet's destinies

Source: https://theses.hal.science/tel-00011983 ; Mathématiques [math]. Université d'Auvergne - Clermont-Ferrand I, 2003. Français. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي